Nuprl Definition : field
13,42
postcript
pdf
Field{i} == {
r
:CRng| IsField(
r
)}
latex
clarification:
Field{i} == {
r
:CRng{i}| IsField(
r
)}
latex
Up
rings
1
Definitions
{
x
:
A
|
B
(
x
)}
,
CRng
,
IsField(
r
)
origin